Akzeptoren

Definition eines Akzeptors

Ein Akzeptor ist (mindestens) ein 5-Tupel
A=(Q,\Sigma , \delta , q_0, F) mit

  • Q: eine endliche Menge von Zuständen
  • \Sigma: das Eingabealphabet
  • \delta: die Übergangsfunktion \delta : Q\times \Sigma \rightarrow Q
  • q_0\in Q: der Startzustand
  • F\subseteq Q: die akzeptierenden Zustände